Optimal. Leaf size=93 \[ -\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}+\frac {p (e f-d g)^2 \log \left (d+e x^2\right )}{4 d^2 f}-\frac {e p \log (x) (e f-2 d g)}{2 d^2}-\frac {e f p}{4 d x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 93, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.217, Rules used = {2475, 37, 2414, 12, 88} \[ -\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}+\frac {p (e f-d g)^2 \log \left (d+e x^2\right )}{4 d^2 f}-\frac {e p \log (x) (e f-2 d g)}{2 d^2}-\frac {e f p}{4 d x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 37
Rule 88
Rule 2414
Rule 2475
Rubi steps
\begin {align*} \int \frac {\left (f+g x^2\right ) \log \left (c \left (d+e x^2\right )^p\right )}{x^5} \, dx &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {(f+g x) \log \left (c (d+e x)^p\right )}{x^3} \, dx,x,x^2\right )\\ &=-\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}-\frac {1}{2} (e p) \operatorname {Subst}\left (\int -\frac {(f+g x)^2}{2 f x^2 (d+e x)} \, dx,x,x^2\right )\\ &=-\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}+\frac {(e p) \operatorname {Subst}\left (\int \frac {(f+g x)^2}{x^2 (d+e x)} \, dx,x,x^2\right )}{4 f}\\ &=-\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}+\frac {(e p) \operatorname {Subst}\left (\int \left (\frac {f^2}{d x^2}+\frac {f (-e f+2 d g)}{d^2 x}+\frac {(-e f+d g)^2}{d^2 (d+e x)}\right ) \, dx,x,x^2\right )}{4 f}\\ &=-\frac {e f p}{4 d x^2}-\frac {e (e f-2 d g) p \log (x)}{2 d^2}+\frac {(e f-d g)^2 p \log \left (d+e x^2\right )}{4 d^2 f}-\frac {\left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right )}{4 f x^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 105, normalized size = 1.13 \[ -\frac {f \log \left (c \left (d+e x^2\right )^p\right )}{4 x^4}-\frac {g \log \left (c \left (d+e x^2\right )^p\right )}{2 x^2}+\frac {1}{4} e f p \left (\frac {e \log \left (d+e x^2\right )}{d^2}-\frac {2 e \log (x)}{d^2}-\frac {1}{d x^2}\right )-\frac {e g p \log \left (d+e x^2\right )}{2 d}+\frac {e g p \log (x)}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.68, size = 97, normalized size = 1.04 \[ -\frac {2 \, {\left (e^{2} f - 2 \, d e g\right )} p x^{4} \log \relax (x) + d e f p x^{2} + {\left (2 \, d^{2} g p x^{2} - {\left (e^{2} f - 2 \, d e g\right )} p x^{4} + d^{2} f p\right )} \log \left (e x^{2} + d\right ) + {\left (2 \, d^{2} g x^{2} + d^{2} f\right )} \log \relax (c)}{4 \, d^{2} x^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.20, size = 322, normalized size = 3.46 \[ -\frac {{\left (2 \, {\left (x^{2} e + d\right )}^{2} d g p e^{2} \log \left (x^{2} e + d\right ) - 2 \, {\left (x^{2} e + d\right )} d^{2} g p e^{2} \log \left (x^{2} e + d\right ) - 2 \, {\left (x^{2} e + d\right )}^{2} d g p e^{2} \log \left (x^{2} e\right ) + 4 \, {\left (x^{2} e + d\right )} d^{2} g p e^{2} \log \left (x^{2} e\right ) - 2 \, d^{3} g p e^{2} \log \left (x^{2} e\right ) - {\left (x^{2} e + d\right )}^{2} f p e^{3} \log \left (x^{2} e + d\right ) + 2 \, {\left (x^{2} e + d\right )} d f p e^{3} \log \left (x^{2} e + d\right ) + {\left (x^{2} e + d\right )}^{2} f p e^{3} \log \left (x^{2} e\right ) - 2 \, {\left (x^{2} e + d\right )} d f p e^{3} \log \left (x^{2} e\right ) + d^{2} f p e^{3} \log \left (x^{2} e\right ) + 2 \, {\left (x^{2} e + d\right )} d^{2} g e^{2} \log \relax (c) - 2 \, d^{3} g e^{2} \log \relax (c) + {\left (x^{2} e + d\right )} d f p e^{3} - d^{2} f p e^{3} + d^{2} f e^{3} \log \relax (c)\right )} e^{\left (-1\right )}}{4 \, {\left ({\left (x^{2} e + d\right )}^{2} d^{2} - 2 \, {\left (x^{2} e + d\right )} d^{3} + d^{4}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.40, size = 392, normalized size = 4.22 \[ -\frac {\left (2 g \,x^{2}+f \right ) \ln \left (\left (e \,x^{2}+d \right )^{p}\right )}{4 x^{4}}-\frac {-8 d e g p \,x^{4} \ln \relax (x )+4 d e g p \,x^{4} \ln \left (e \,x^{2}+d \right )+4 e^{2} f p \,x^{4} \ln \relax (x )-2 e^{2} f p \,x^{4} \ln \left (e \,x^{2}+d \right )-2 i \pi \,d^{2} g \,x^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i \left (e \,x^{2}+d \right )^{p}\right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )+2 i \pi \,d^{2} g \,x^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{2}+2 i \pi \,d^{2} g \,x^{2} \mathrm {csgn}\left (i \left (e \,x^{2}+d \right )^{p}\right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{2}-2 i \pi \,d^{2} g \,x^{2} \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{3}-i \pi \,d^{2} f \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i \left (e \,x^{2}+d \right )^{p}\right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )+i \pi \,d^{2} f \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{2}+i \pi \,d^{2} f \,\mathrm {csgn}\left (i \left (e \,x^{2}+d \right )^{p}\right ) \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{2}-i \pi \,d^{2} f \mathrm {csgn}\left (i c \left (e \,x^{2}+d \right )^{p}\right )^{3}+4 d^{2} g \,x^{2} \ln \relax (c )+2 d e f p \,x^{2}+2 d^{2} f \ln \relax (c )}{8 d^{2} x^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.47, size = 77, normalized size = 0.83 \[ \frac {1}{4} \, e p {\left (\frac {{\left (e f - 2 \, d g\right )} \log \left (e x^{2} + d\right )}{d^{2}} - \frac {{\left (e f - 2 \, d g\right )} \log \left (x^{2}\right )}{d^{2}} - \frac {f}{d x^{2}}\right )} - \frac {{\left (2 \, g x^{2} + f\right )} \log \left ({\left (e x^{2} + d\right )}^{p} c\right )}{4 \, x^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.37, size = 85, normalized size = 0.91 \[ \frac {\ln \left (e\,x^2+d\right )\,\left (e^2\,f\,p-2\,d\,e\,g\,p\right )}{4\,d^2}-\frac {\ln \left (c\,{\left (e\,x^2+d\right )}^p\right )\,\left (\frac {g\,x^2}{2}+\frac {f}{4}\right )}{x^4}-\frac {\ln \relax (x)\,\left (e^2\,f\,p-2\,d\,e\,g\,p\right )}{2\,d^2}-\frac {e\,f\,p}{4\,d\,x^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________